A Formal Approach to Service-Oriented Modelling†
نویسندگان
چکیده
This paper provides an overview of a formal approach to serviceoriented modelling that we have been developing within the SENSORIA project [47]. A modelling language – SRML – and a number of formal techniques that address qualitative and quantitative analysis support this approach, all of which are based on mathematical foundations. Our focus will be on the language primitives that SRML offers for modelling business services and activities, and on the methodological approach that SRML supports.
منابع مشابه
A Formal Approach to Modelling Time Properties of Service-Oriented Systems
We provide a formal model for expressing and analysing time-related properties of service-oriented systems. Our approach extends SRML, a high-level modelling language that we have been developing in the SENSORIA project. We introduce new primitives for SRML that capture several kinds of delays that can occur during service provision (e.g., the time taken by components to process events and perf...
متن کاملA Use-Case Driven Approach to Formal Service-Oriented Modelling
We put forward a use-case based approach for SRML – a formal framework that is being defined by the SENSORIA consortium for serviceoriented modelling. We expand on the way SRML contributes to the engineering of software systems and we propose a number of extensions to the UML for supporting that approach. We use a mortgage brokerage scenario for illustrating our approach.
متن کاملDevelopment of a framework to evaluate service-oriented architecture governance using COBIT approach
Nowadays organizations require an effective governance framework for their service-oriented architecture (SOA) in order to enable them to use a framework to evaluate their current state governance and determine the governance requirements, and then to offer a suitable model for their governance. Various frameworks have been developed to evaluate the SOA governance. In this paper, a brief introd...
متن کاملFormal-Based Component Model with Support of Mobile Architecture
In this article, an approach to modelling of componentbased systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the π-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling...
متن کاملA Symbolic Semantics for a Calculus for Service - Oriented Computing 1
We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009